41. Computation, Logic, Philosophy :
پدیدآورنده : by Hao Wang.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Information theory.,Mathematics.,Technology -- Philosophy.
42. Computational logic and set theory :
پدیدآورنده : Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Set theory
رده :
QA248
.
S39
2011eb
43. Computer Mathematics
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
44. Differential manifolds :
پدیدآورنده : Paul Baillon, CERN, Switzerland.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Differentiable manifolds.,Manifolds (Mathematics),Differentiable manifolds.,Manifolds (Mathematics)
رده :
QA614
.
3
.
B35
2014
45. Discrete mathematics :
پدیدآورنده : Douglas E. Ensley, J. Winston Crawley.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics.,Logic, Symbolic and mathematical.,Mathematical recreations.,Computer science-- Mathematics.,Computerwiskunde.,Logic, Symbolic and mathematical.,Mathematical recreations.,Numerieke wiskunde.,Wiskundige logica.
رده :
QA9
.
25
.
E57
2006
46. Discrete mathematics for computer science
پدیدآورنده : / Gary Haggard, John Schlipf, Sue Whitesides
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer science, Mathematics
رده :
E-BOOK
47. Discrete mathematics with proof
پدیدآورنده : Eric Gossett.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA39
.
3
E753
2003
48. Elementary Theory of Metric Spaces
پدیدآورنده : by Robert B. Reisel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Global analysis (Mathematics).,Mathematics.
49. Elements of Logical Reasoning
پدیدآورنده : / Jan von Plato
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
50. Elements of logical reasoning /
پدیدآورنده : Jan von Plato
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Reasoning
رده :
QA9
.
V66
2013
51. Entire and meromorphic functions /
پدیدآورنده : Lee A. Rubel with assistance from James E. Colliander
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Functions, Entire,Functions, Meromorphic,Nevanlinna theory,Fonction entière,Fonction méromorphe,Série Fourier,Théorie Nevanlinna
رده :
QA353
.
E5
R83
1996
52. Essential discrete mathematics for computer science /
پدیدآورنده : Harry Lewis and Rachel Zax.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics.,Computer science-- Mathematics.,Diskrete Mathematik,Informatik
رده :
QA76
.
9
.
M35
L49
2019
53. Expanding museum studies : an introduction / Sharon Macdonald -- Cultural theory and museum studies / Rhiannon Mason -- Sociology and the social aspects of museums / Gordon Fyfe -- Art history and museology : rendering the visible legible / Donald Preziosi -- Museums and anthropologies : practices and narratives / Anthony Alan Shelton -- Collecting practices / Sharon Macdonald -- The conundrum of ephemerality : time, memory, and museums / Susan A. Crane -- The origins of the public museum / Jeffrey Abt -- World fairs and museums / Robert W. Rydell
پدیدآورنده : edited by Sharon Macdonald.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
54. Explanation in the sciences.
پدیدآورنده : Mile Meyerson
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
Q175
.
M554
2013
55. Feferman on foundations :
پدیدآورنده : Gerhard Jäger, Wilfried Sieg, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematical theory of computation.,MATHEMATICS-- General.,Philosophy: logic.
رده :
QA9
.
2
56. Fundamentals of mathematics
پدیدآورنده : Bernd S. W. Schreoder
کتابخانه: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
248
.
S36F8
2010
57. Funtional Programming Languages in Education :
پدیدآورنده : edited by Pieter H. Hartel, Rinus Plasmeijer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer Science.,Logic design.
رده :
QA76
.
62
E358
1995
58. Handbook of Logic and Proof Techniques for Computer Science
پدیدآورنده : by Steven G. Krantz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Mathematics.
رده :
QA76
.
B978
2002
59. Handbook of mathematical induction: theory and applications
پدیدآورنده : / David S. Gunderson
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Proof theory,Induction (Mathematics),Logic, Symbolic and mathematical,Probabilities
رده :
511
.
36
G975H
2011
60. Handbook of mathematical logic. tics; ed. by barwise, jon.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Symbolische logica.,Wiskundige logica.
رده :
QA9
.
H32
1977
